Distributed Storage System for Description Logic Knowledge Bases
نویسندگان
چکیده
منابع مشابه
Data Access over Large Semi - Structured Databases
Ontology-Based Data Access is a problem aiming at answering conjunctive queries over facts enriched by ontological information. There are today two manners of encoding such ontological content: Description Logics and rule-bases languages. The emergence of very large knowledge bases, often with unstructured information has provided an additional challenge to the problem. In this work, we will st...
متن کاملA Hybrid Reasoning System for Terminologies and Clause Sets
Description logics (DLs) theoretically explore knowledge representation and its reasoning in concept languages. However, due to the concept-oriented notion, these logics are not equipped with rule-based reasoning mechanisms for assertional knowledge bases; specifically, rules and facts in logic programming, or the interaction of rules and facts with terminology. In order to deal with the enrich...
متن کاملDistributed Reasoning with EL using MapReduce
It has recently been shown that the MapReduce framework for distributed computation can be used effectively for large-scale RDF Schema reasoning, computing the deductive closure of over a billion RDF triples within a reasonable time [23]. Later work has carried this approach over to OWL Horst [22]. In this paper, we provide a MapReduce algorithm for classifying knowledge bases in the descriptio...
متن کاملDLP System Description
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as K (m) and KT (m). Although DLP is an experimental system, it nonetheless provides a fast satissability checker for the above propositional modal logics as well as a fast reasonder for knowledge bases.
متن کاملTowards Agent-Oriented Knowledge Base Maintenance for Description Logic ALCN
Artificial agents functioning in the Semantic Web are to be capable of getting knowledge from diverse sources. This implies the capability to continuously update their knowledge bases. New stream reasoning concepts make this need even more pressing. Semantic Web ontologies are commonly represented using description logic knowledge bases. We propose an agent architecture with such features, util...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009